Computer Laboratory - PDFSEARCH.IO - Document Search Engine

Computer Laboratory
Results: 4525

#	Item
461	Local optimality in algebraic path problems (with help from Coq and Ssreflect) Timothy G. Griffin Computer Laboratory University of Cambridge, UK Add to Reading List Source URL: www.monmeetings.org Language: English - Date: 2015-09-04 10:24:56 Operations research Edsger W. Dijkstra Network theory Shortest path problem Mathematical optimization Routing algorithms Systems engineering Dynamic programming
462	THE APPLICATION OF AUTOMATED STATISTICAL MAPPING TO HEALTH STATISTICS Henry Tom Computer Programmer Computer Graphics Staff Geography Division Add to Reading List Source URL: mapcontext.com Language: English - Date: 2008-08-29 23:30:59 Cartography Geography Geographic information systems Geodesy Geocoding Web mapping Spatial analysis Map Choropleth map Harvard Laboratory for Computer Graphics and Spatial Analysis MacChoro
463	Pairwise Decomposition of Image Sequences for Active Multi-View Recognition Edward Johns, Stefan Leutenegger and Andrew J. Davison Dyson Robotics Laboratory at Imperial College, Department of Computing, Imperial College Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2016-04-25 07:27:41 Artificial neural networks Computational neuroscience Computer vision Convolutional neural network Conference on Computer Vision and Pattern Recognition Outline of object recognition Convolutional Deep Belief Networks Machine vision Deep learning
464	Free Riding in BitTorrent is Cheap Thomas Locher1 , Patrick Moor2 , Stefan Schmid1 , Roger Wattenhofer1 1 Computer Engineering and Networks Laboratory (TIK), ETH Zurich, 8092 Zurich, Switzerland {lochert, schmiste, watte Add to Reading List Source URL: www.tik.ee.ethz.ch Language: English - Date: 2015-05-18 12:15:59 BitTorrent Leech Seeding Comparison of BitTorrent clients Peer-to-peer Vuze Segmented file transfer Libtorrent BitComet
465	Diagnosing Performance Bottlenecks in Emerging Petascale Applications Nathan R. Tallent, John M. Mellor-Crummey Laksono Adhianto, Michael W. Fagan, Mark Krentel Rice University tallent,johnmc,laksono,mfagan,krentel@rice. Add to Reading List Source URL: www.hpctoolkit.org Language: English - Date: 2010-07-24 17:28:33 Supercomputers Parallel computing Computer architecture Power Architecture Oak Ridge National Laboratory National Center for Computational Sciences Jaguar Scalability Cray XT3 Cray Profiling Blue Gene
466	Pre-Deployment Testing, Augmentation and Calibration of Cross-Sensitive Sensors Balz Maag, Olga Saukh, David Hasenfratz, Lothar Thiele Computer Engineering and Networks Laboratory, ETH Zurich, Switzerland Sensirion AG, Add to Reading List Source URL: people.ee.ethz.ch Language: English - Date: 2016-03-15 08:53:51 Sensors Optical devices Digital photography
467	Considerations Regarding Human-Level Artificial Intelligence Nils J. Nilsson () Robotics Laboratory Department of Computer Science Stanford University Add to Reading List Source URL: ai.stanford.edu Language: English - Date: 2004-01-22 14:14:52 Artificial intelligence Programming paradigms Computational neuroscience Philosophy of artificial intelligence Futurology Intelligent agent Intelligence Knowledge representation and reasoning Logic programming Robotics Existential risk from artificial general intelligence Artificial general intelligence
468	Static Analysis of Finite Precision Computations Eric Goubault and Sylvie Putot CEA LIST, Laboratory for the Modelling and Analysis of Interacting Systems, Point courrier 94, Gif-sur-Yvette, FFrance, Firstname.Las Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2010-11-15 04:17:50 Computer arithmetic Abstract interpretation Interval arithmetic Rounding Floating point Affine arithmetic Interval Function Limit of a function NaN Fixed-point arithmetic Machine epsilon
469	Interpreting the Past through Agent-Based Modeling and GIS Angelos Chliaoutakis1,2, Georgios Chalkiadakis2 1 Institute for Mediterranean Studies, Foundation for Research and Technology, Hellas (IMS-FORTH), Laboratory of Add to Reading List Source URL: www.intelligence.tuc.gr Language: English - Date: 2015-09-08 06:25:26 Simulation Scientific modeling Multi-agent systems Complex systems theory Agent-based model ABM Spatial analysis Computational archaeology Macroeconomic model Computer simulation Social simulation Comparison of agent-based modeling software
470	OS/Runtime challenges for dynamic topology aware mapping Abhinav Bhatele and Todd Gamblin Center for Applied Scientific Computing, Lawrence Livermore National Laboratory E-mail: , As pro Add to Reading List Source URL: collab.mcs.anl.gov Language: English - Date: 2012-07-21 14:42:56 Parallel computing Supercomputer Blue Gene K computer Network topology Multi-core processor Exascale computing Topology Node Message Passing Interface

UPDATE